More from this Author

Logic-Based Program Synthesis and Transformation

by Maurizio Gabbrielli (Editor)

Logic Programming

by Maurizio Gabbrielli (Editor), Gopal Gupta (Editor)